Section: Dissemination

Teaching - Supervision - Juries

• Master: Bérenger Bramas, Compilation and Performance, 39h, M2, Université de Strasbourg, France

• Master: Bérenger Bramas, Compilation, 30h, M1, Université de Strasbourg, France

• Licence: Vincent Loechner, responsable pédagogique de la licence professionnelle ASSR-ARS, L3, Université de Strasbourg, France

• Licence: Vincent Loechner, algorithmique et programmation, 168h, L1, Université de Strasbourg, France

• Licence: Vincent Loechner, administration système et internet, 45h, L3, Université de Strasbourg, France

• Licence: Vincent Loechner, programmation parallèle, 23h, L3, Université de Strasbourg, France

• Master: Vincent Loechner, programmation temps réel, 10h, M2, Université de Strasbourg, France

• Master: Vincent Loechner, calcul parallèle, 20h, 3ième année école d'ingénieur (TPS), Université de Strasbourg, France

• Licence: Philippe Clauss, Computer architecture, 18h, L2, Université de Strasbourg, France

• Licence: Philippe Clauss, Bases of computer architecture, 22h, L1, Université de Strasbourg, France

• Master: Philippe Clauss, Compilation, 84h, M1, Université de Strasbourg, France

• Master: Philippe Clauss, Real-time programming and system, 37h, M1, Université de Strasbourg, France

• Master: Philippe Clauss, Code optimization and transformation, 31h, M1, Université de Strasbourg, France

• Licence (Math-Info): Alain Ketterlin, Algorithmique et programmation, L1, 96h, Université de Strasbourg, France

• Licence (Math-Info): Alain Ketterlin, Architecture des systèmes d'exploitation, L3, 38h, Université de Strasbourg, France

• Licence (Math-Info): Alain Ketterlin, Programmation système, L2, 40h, Université de Strasbourg, France

• Master (Informatique): Alain Ketterlin, Preuves assistées par ordinateur, 18h, Université de Strasbourg, France

• Licence: Éric Violard, Modèles de Calcul, 29h, L1, Université de Strasbourg, France

• Licence: Éric Violard, Programmation fonctionnelle, 162h, L1, Université de Strasbourg, France

• Licence: Éric Violard, Bases de l'architecture informatique, 62h, L1, Université de Strasbourg, France

• Licence: Éric Violard, Architecture des ordinateurs, 45h, L2, Université de Strasbourg, France

• Licence: Éric Violard, Systèmes concurrents, 9h, L3, Université de Strasbourg, France

• Licence: Cédric Bastoul, Computer architecture, 78h, L1, Université de Strasbourg, France, and 25h, L1, UFAZ Azerbaijani-French University, Azerbaijan

• Licence: Cédric Bastoul, Parallel programming, 20h, L3, Université de Strasbourg, France, and 25h, L3, UFAZ Azerbaijani-French University, Azerbaijan

• Master: Cédric Bastoul, Compiler Design, 48h, M1, Université de Strasbourg, France

• Master: Cédric Bastoul, Project Management, 16h, M1, Université de Strasbourg, France

• Master: Cédric Bastoul, Introduction to Research, 3h, L2+M1, Université de Strasbourg, France

• PhD: Armaël Géneau, Formal verification of complexity analyses, co-advised by Arthur Charguéraud and François Pottier, defended on December 16th, 2019.

• PhD: Paul Godard, Parallélisation et passage à l’échelle durable d’une chaîne de traitement graphique pour l’impression professionnelle, Université de Strasbourg, Dec. 16, 2019. Cédric Bastoul and Vincent Loechner.

• PhD: Maxime Schmitt, Génération automatique de codes adaptatifs, Université de Strasbourg, Sept. 30, 2019. Cédric Bastoul and Philippe Helluy.

• PhD: Daniel Salas, Parallélisation hybride d'une application de détection de noyaux cellulaires, Université de Strasbourg, Sept. 10, 2019. Jens Gustedt.

• PhD in progress: Harenome Ranaivoarivony-Razanajato, Hierarchical Parallelization and Optimization, Oct. 2016, Cédric Bastoul and Vincent Loechner.

• PhD in progress: Salwa Kobeissi, Dynamic parallelization of recursive functions by transformation into loops, since Sept. 2017, Philippe Clauss.